Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
231	Introduction to FCA 2nd ICFCA 2004 Sydney Introduction to Formal Concept Analysis Bastian Wormuth / Peter Becker Add to Reading List Source URL: www.wormuth.info Language: English - Date: 2004-02-25 21:20:28
232	fca.sty LATEX–macros for Formal Concept Analysis Version 2.1 Bernhard Ganter TU Dresden October 1, 2007 Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2007-10-02 09:30:17
233	Multiple Testing in Statistical Analysis of Systems-Based Information Retrieval Experiments BENJAMIN A. CARTERETTE University of Delaware High-quality reusable test collections and formal statistical hypothesis testing Add to Reading List Source URL: ir.cis.udel.edu Language: English - Date: 2011-08-06 09:04:46
234	Formal Modeling and Automated Analysis of Security Protocols Steve Kremer Inria Nancy FOSAD 2014 Add to Reading List Source URL: webloria.loria.fr Language: English - Date: 2014-09-05 05:50:49
235	NASA/TMA Formal Framework for the Analysis of Algorithms That Recover From Loss of Separation Ricky W. Butler Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2011-08-04 17:39:26
236	Precise Quantitative Information Flow Analysis— A Symbolic Approach Vladimir Klebanov Karlsruhe Institute of Technology, Germany Abstract Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-09-30 16:25:01
237	PDF Document Add to Reading List Source URL: www.kroening.com Language: English - Date: 2015-02-13 06:17:10 Formal methods Logic in computer science Vienna Development Method Functional analysis General topology Wellfoundedness Satisfiability modulo theories First-order logic Constructible universe F-algebra Ordinal number Sequence
238	SAT-based Analysis and Quantification of Information Flow in Programs Vladimir Klebanov1 , Norbert Manthey2 , and Christian Muise3 1 Karlsruhe Institute of Technology (KIT) Am Fasanengarten 5, 76131 Karlsruhe, Germany Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-02-04 15:10:30
239	Perturbation Theory with Convergent Series: The Calculation of the λϕfield theory β-function The problem of series summation A typical problem: Let F (λ) be given by a formal power series ∞ Add to Reading List Source URL: acat02.sinp.msu.ru Language: English - Date: 2002-07-15 09:46:28 Asymptotic analysis Divergent series Summability theory Spectral theory of ordinary differential equations Sturm–Liouville theory Mathematical analysis Calculus Spectral theory
240	Penetrating the Fog: Analytics in Learning and Education Add to Reading List Source URL: net.educause.edu Language: English - Date: 2011-09-09 10:09:50 Science Formal sciences Learning Analytics Education Learning analytics Massive open online course ADAPA Data mining Data analysis Statistics Business intelligence

UPDATE